((v3 v1 2) (v2 v1 7))
19
((v1 v3))